[prev] [prev-tail] [tail] [up]

2.2.12 Integrals 1101 to 1156

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 77 0 0 0 78 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.76 0.00 -0.01

time (sec)

N/A 0.062 10.051 0.011 0.000 0.000 2.197 0.000 0.000

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 84 0 0 0 82 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.77 0.00 -0.01

time (sec)

N/A 0.065 10.034 0.012 0.000 0.000 11.241 0.000 0.000

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 88 0 0 0 85 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.59 0.00 -0.01

time (sec)

N/A 0.078 10.060 0.011 0.000 0.000 127.394 0.000 0.000

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 88 0 0 0 0 0 -1

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.094 10.056 0.015 0.000 0.000 0.000 0.000 0.000

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 148 0 229 891 94 0 -1

N.S.

1 1.00 0.87 0.00 1.34 5.21 0.55 0.00 -0.01

time (sec)

N/A 0.072 0.765 0.015 0.487 1.677 13.019 0.000 0.000

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 103 0 114 332 83 0 -1

N.S.

1 1.00 0.84 0.00 0.93 2.72 0.68 0.00 -0.01

time (sec)

N/A 0.049 0.441 0.023 0.498 1.485 6.923 0.000 0.000

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 45 39 60 51 117 0 70

N.S.

1 1.00 0.67 0.58 0.90 0.76 1.75 0.00 1.04

time (sec)

N/A 0.019 0.270 0.122 0.291 1.292 32.598 0.000 0.649

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 67 62 101 74 0 0 101

N.S.

1 1.00 0.64 0.60 0.97 0.71 0.00 0.00 0.97

time (sec)

N/A 0.031 0.440 0.112 0.278 1.552 0.000 0.000 0.657

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 91 86 138 99 0 0 125

N.S.

1 1.00 0.65 0.61 0.98 0.70 0.00 0.00 0.89

time (sec)

N/A 0.043 0.686 0.121 0.276 2.021 0.000 0.000 0.693

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 112 0 0 0 0 0 -1

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 10.108 0.019 0.000 0.000 0.000 0.000 0.000

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 85 0 0 0 94 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.66 0.00 -0.01

time (sec)

N/A 0.049 10.086 0.011 0.000 0.000 49.065 0.000 0.000

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 77 0 0 0 94 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.95 0.00 -0.01

time (sec)

N/A 0.031 10.083 0.019 0.000 0.000 5.894 0.000 0.000

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 77 0 0 0 82 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.80 0.00 -0.01

time (sec)

N/A 0.035 10.038 0.015 0.000 0.000 13.462 0.000 0.000

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 78 0 0 0 85 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.59 0.00 -0.01

time (sec)

N/A 0.050 10.038 0.015 0.000 0.000 91.728 0.000 0.000

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 82 0 0 0 0 0 -1

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 10.059 0.016 0.000 0.000 0.000 0.000 0.000

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-1) C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 129 0 233 0 94 0 -1

N.S.

1 1.00 0.70 0.00 1.27 0.00 0.51 0.00 -0.01

time (sec)

N/A 0.080 0.784 0.014 0.492 0.000 54.568 0.000 0.000

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-1) C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 108 0 116 0 87 0 -1

N.S.

1 1.00 0.86 0.00 0.93 0.00 0.70 0.00 -0.01

time (sec)

N/A 0.054 0.498 0.017 0.486 0.000 11.008 0.000 0.000

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 44 40 60 50 119 0 69

N.S.

1 1.00 0.68 0.62 0.92 0.77 1.83 0.00 1.06

time (sec)

N/A 0.020 0.359 0.115 0.269 2.073 33.579 0.000 0.631

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 67 62 102 75 469 0 101

N.S.

1 1.00 0.64 0.60 0.98 0.72 4.51 0.00 0.97

time (sec)

N/A 0.033 0.403 0.114 0.273 0.860 166.519 0.000 0.667

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 91 86 139 99 0 0 125

N.S.

1 1.00 0.65 0.61 0.99 0.70 0.00 0.00 0.89

time (sec)

N/A 0.042 0.784 0.123 0.281 1.774 0.000 0.000 0.688

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 110 0 0 0 94 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.49 0.00 -0.01

time (sec)

N/A 0.093 10.123 0.015 0.000 0.000 173.341 0.000 0.000

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 85 0 0 0 94 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.62 0.00 -0.01

time (sec)

N/A 0.078 10.085 0.011 0.000 0.000 20.419 0.000 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 79 0 0 0 78 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.67 0.00 -0.01

time (sec)

N/A 0.063 10.054 0.022 0.000 0.000 16.636 0.000 0.000

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 91 0 0 0 97 0 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.67 0.00 -0.01

time (sec)

N/A 0.078 10.045 0.015 0.000 0.000 59.631 0.000 0.000

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 82 0 0 0 0 0 -1

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 10.056 0.014 0.000 0.000 0.000 0.000 0.000

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 150 0 263 959 0 0 -1

N.S.

1 1.00 0.68 0.00 1.19 4.34 0.00 0.00 -0.00

time (sec)

N/A 0.092 1.688 0.014 0.495 1.170 0.000 0.000 0.000

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 124 0 129 428 116 0 -1

N.S.

1 1.00 0.83 0.00 0.87 2.87 0.78 0.00 -0.01

time (sec)

N/A 0.059 1.068 0.020 0.494 1.985 70.318 0.000 0.000

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 44 39 54 58 230 0 79

N.S.

1 1.00 0.56 0.49 0.68 0.73 2.91 0.00 1.00

time (sec)

N/A 0.023 0.428 0.103 0.271 1.039 71.808 0.000 0.645

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 67 62 91 86 435 0 115

N.S.

1 1.00 0.64 0.60 0.88 0.83 4.18 0.00 1.11

time (sec)

N/A 0.033 0.418 0.119 0.282 3.097 222.432 0.000 0.706

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 88 86 135 110 0 0 144

N.S.

1 1.00 0.62 0.61 0.96 0.78 0.00 0.00 1.02

time (sec)

N/A 0.046 0.607 0.125 0.312 1.300 0.000 0.000 0.689

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 115 110 172 134 0 0 156

N.S.

1 1.00 0.65 0.62 0.97 0.75 0.00 0.00 0.88

time (sec)

N/A 0.059 1.064 0.138 0.295 1.302 0.000 0.000 0.731

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 140 0 0 0 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.085 10.133 0.018 0.000 0.000 0.000 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 116 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 10.115 0.011 0.000 0.000 0.000 0.000 0.000

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 98 0 0 0 94 0 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.61 0.00 -0.01

time (sec)

N/A 0.050 10.102 0.018 0.000 0.000 169.858 0.000 0.000

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 86 0 0 0 94 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.82 0.00 -0.01

time (sec)

N/A 0.034 10.091 0.020 0.000 0.000 44.567 0.000 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 85 0 0 0 97 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.68 0.00 -0.01

time (sec)

N/A 0.049 10.044 0.015 0.000 0.000 128.493 0.000 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 86 0 0 0 0 0 -1

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 10.042 0.014 0.000 0.000 0.000 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 87 0 0 0 0 0 -1

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.084 10.041 0.019 0.000 0.000 0.000 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 97 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.122 0.055 0.000 0.000 0.000 0.000 0.000

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.082 0.030 0.000 0.000 0.000 0.000 0.000

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.062 0.026 0.000 0.000 0.000 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

79 79 172 0 0 0 0 0 -1

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 0.053 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 84 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.076 0.025 0.000 0.000 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.095 0.027 0.000 0.000 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 195 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.209 0.233 0.027 0.000 0.000 0.000 0.000 0.000

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 118 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.144 0.028 0.000 0.000 0.000 0.000 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 84 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.043 0.047 0.024 0.000 0.000 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 95 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.082 0.028 0.000 0.000 0.000 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 100 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.087 0.026 0.000 0.000 0.000 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 100 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.115 0.028 0.000 0.000 0.000 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.192 0.026 0.000 0.000 0.000 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.158 0.027 0.000 0.000 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.110 0.026 0.000 0.000 0.000 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.115 0.030 0.000 0.000 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.171 0.026 0.000 0.000 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.191 0.025 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]